-
1 extended propositional calculus
Универсальный англо-русский словарь > extended propositional calculus
-
2 extended propositional calculus
English-russian biological dictionary > extended propositional calculus
-
3 extended propositional calculus
мат.расширенное исчисление высказываний, расширенное пропозициональное исчислениеEnglish-Russian scientific dictionary > extended propositional calculus
-
4 calculus
calculus исчислениеextended propositional calculus расширенное пропозициональное исчислениеfunctional calculus функциональное исчислениеmany-valued propositional calculus многозначное пропозициональное исчислениеpredicate calculus исчисление предикатовpropositional calculus пропозициональное исчислениеrestricted predicate calculus узкое исчисление предикатовEnglish-Russian dictionary of biology and biotechnology > calculus
-
5 calculus
-
6 propositional
пропозициональный alphabet of propositional calculus ≈ алфавит исчисления высказываний, алфавит нулевого порядка classical propositional calculus ≈ классическое исчисление высказываний, классическое пропозициональное исчисление classical propositional logic ≈ классическая логика высказываний constructive propositional calculus ≈ конструктивное исчисление высказываний, конструктивное пропозициональное исчисление extended propositional calculus ≈ расширенное исчисление высказываний, расширенное пропозициональное исчисление intuitionistic propositional tautology ≈ интуиционистская пропозициональная тавтология minimal propositional calculus ≈ минимальное исчисление высказываний, минимальное пропозициональное исчисление modal propositional calculus ≈ модальное исчисление высказываний, модальное пропозициональное исчисление multivalued propositional calculus ≈ многозначное исчисление высказываний, многозначное пропозициональное исчисление open propositional function ≈ открытая пропозициональная функция partial propositional calculus ≈ частное исчисление высказываний, частное пропозициональное исчисление positive propositional calculus ≈ позитивное исчисление высказываний, позитивное пропозициональное исчисление positive propositional tautology ≈ позитивная пропозициональная тавтология primitive propositional constant ≈ исходная пропозициональная постоянная proper propositional calculus ≈ собственное исчисление высказываний, собственное пропозициональное исчисление two-valued propositional calculus ≈ двузначное [классическое] исчисление высказываний, двузначное [классическое] пропозициональное исчисление unary propositional connective ≈ унарная пропозициональная связка - propositional algebra - propositional argument - propositional axiom - propositional calculus - propositional connective - propositional form - propositional formula - propositional function - propositional functor - propositional hierarchy - propositional implication - propositional inference - propositional interpretation - propositional letter - propositional logic - propositional operator - propositional tautology - propositional variable ПропозициональноБольшой англо-русский и русско-английский словарь > propositional
-
7 calculus
-
8 calculus
исчисление
– Boolean calculus
– calculus of probability
– calculus of variations
– differential calculus
– extended calculus
– functional calculus
– infinitesimal calculus
– integral calculus
– logical calculus
– matrix calculus
– operational calculus
– predicate calculus
– problem calculus
– propositional calculus
– sentential calculus
– spinor calculus
– tensor calculus
– vector calculus
one-place predicate calculus — исчисление одноместных предикатов
-
9 calculus
1) исчисление2) вычисление; вычисления•- calculus of approximations
- calculus of residues
- extended calculus
- functional calculus
- higher predicate calculus
- index calculus
- matrix calculus
- operational calculus
- predicate calculus
- predicative calculus
- propositional calculus
- relational calculus
- restricted predicate calculus
- sentential calculus
- situation calculusEnglish-Russian dictionary of computer science and programming > calculus
-
10 calculus
[̈ɪˈkælkjuləs]calculus (pl -es) мат. исчисление; differential calculus дифференциальное исчисление calculus исчисление calculus калькуляция calculus (pl -li) мед. камень calculus of probability теория вероятностей calculus of variations вариационное исчисление certainty calculus исчисление достоверности calculus (pl -es) мат. исчисление; differential calculus дифференциальное исчисление extended calculus расширенное исчисление first order predicate calculus исчисление предикатов первого порядка frame calculus исчисление фреймов integral calculus интегральное исчисление lambda calculus лямбда-исчисление logical calculus логическое исчисление predicate calculus исчисление предикатов program calculus исчисление программ propositional calculus исчисление высказываний relational calculus реляционное исчисление sentential calculus исчисление высказываний situational calculus ситуационное исчисление -
11 calculus
̈ɪˈkælkjuləs I сущ.;
мн. -li;
мед. камень bladder calculi ≈ камни в мочевом пузыре Syn: stone II сущ.;
мн. -es, -li;
мат. исчисление differential calculus ≈ дифференциальное исчисление integral calculus ≈ интегральное исчисление Syn: calculation (математика) исчисление - the (differential) * дифференциальное исчисление - * of probabilities исчисление вероятностей - * of variation вариационное исчисление калькуляция (медицина) камень (почечный, желчный) calculus (pl -es) мат. исчисление;
differential calculus дифференциальное исчисление ~ исчисление ~ калькуляция ~ (pl -li) мед. камень ~ of probability теория вероятностей ~ of variations вариационное исчисление certainty ~ исчисление достоверности calculus (pl -es) мат. исчисление;
differential calculus дифференциальное исчисление extended ~ расширенное исчисление first order predicate ~ исчисление предикатов первого порядка frame ~ исчисление фреймов integral ~ интегральное исчисление lambda ~ лямбда-исчисление logical ~ логическое исчисление predicate ~ исчисление предикатов program ~ исчисление программ propositional ~ исчисление высказываний relational ~ реляционное исчисление sentential ~ исчисление высказываний situational ~ ситуационное исчислениеБольшой англо-русский и русско-английский словарь > calculus
См. также в других словарях:
Propositional calculus — In mathematical logic, a propositional calculus or logic (also called sentential calculus or sentential logic) is a formal system in which formulas of a formal language may be interpreted as representing propositions. A system of inference rules… … Wikipedia
Calculus — This article is about the branch of mathematics. For other uses, see Calculus (disambiguation). Topics in Calculus Fundamental theorem Limits of functions Continuity Mean value theorem Differential calculus Derivative Change of variables … Wikipedia
Sequent calculus — In proof theory and mathematical logic, sequent calculus is a family of formal systems sharing a certain style of inference and certain formal properties. The first sequent calculi, systems LK and LJ, were introduced by Gerhard Gentzen in 1934 as … Wikipedia
Simply typed lambda calculus — The simply typed lambda calculus (lambda^ o) is a typed interpretation of the lambda calculus with only one type combinator: o (function type). It is the canonical and simplest example of a typed lambda calculus. The simply typed lambda calculus… … Wikipedia
Boolean algebra — This article discusses the subject referred to as Boolean algebra. For the mathematical objects, see Boolean algebra (structure). Boolean algebra, as developed in 1854 by George Boole in his book An Investigation of the Laws of Thought,[1] is a… … Wikipedia
formal logic — the branch of logic concerned exclusively with the principles of deductive reasoning and with the form rather than the content of propositions. [1855 60] * * * Introduction the abstract study of propositions, statements, or assertively used … Universalium
Function (mathematics) — f(x) redirects here. For the band, see f(x) (band). Graph of example function, In mathematics, a function associates one quantity, the a … Wikipedia
logic, history of — Introduction the history of the discipline from its origins among the ancient Greeks to the present time. Origins of logic in the West Precursors of ancient logic There was a medieval tradition according to which the Greek philosopher … Universalium
Boolean algebra (introduction) — Boolean algebra, developed in 1854 by George Boole in his book An Investigation of the Laws of Thought , is a variant of ordinary algebra as taught in high school. Boolean algebra differs from ordinary algebra in three ways: in the values that… … Wikipedia
History of logic — Philosophy ( … Wikipedia
metalogic — /met euh loj ik/, n. the logical analysis of the fundamental concepts of logic. [1835 45; META + LOGIC] * * * Study of the syntax and the semantics of formal languages and formal systems. It is related to, but does not include, the formal… … Universalium